The Diaconescu-Goodman-Myhill theorem in logic:
Introducing Diaconescu's theorem in topos theory:
On atomic toposes
Last revised on November 7, 2023 at 07:26:25. See the history of this page for a list of all contributions to it.